COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.EVERY HEADING(CHAPTER 4,THE FUNCTION - EVAL,{PAGE})
C00003 ENDMK
C⊗;
.EVERY HEADING(CHAPTER 4,THE FUNCTION - EVAL,{PAGE})
.INDENT 6
THE FUNCTION - EVAL


The previous chapters tell how to describe computations with
symbolic expressions as LISP functions built up from the basic
functions and constants using composition, conditional expressions and
recursion.  The notation used to describe these functions was chosen for
its convenience in writing and reading.  If we want apply LISP to itself,
i.e. to compute with symbolic expressions representing LISP functions,
then we must represent LISP functions by S-expressions.